×

interactive proof中文什么意思

发音:   用"interactive proof"造句
  • 交互式证明
  • interactive:    adj. 相互作用的，相互影响的，互动的。 n. 交互式视频设备。
  • -proof:    后缀 表示“耐，防(等)”：acid-proof 耐酸的。Air-proof 密封的。 Dust-proof 防尘的。 Fire-proof 防火的。 Radar-proof 反雷达的。 Slander-proof 听了坏话不会生气的。 Sound-proof 隔音的。 Water-proof 防水的。
  • a proof:    防原子的
  • a-proof:    防原子的
  • in proof of:    作...的证据
下载手机词典可随时随地查词查翻译

例句与用法

  1. our task is to develop the first interactive proof assistant for the-calculus . we call it pim ( the pi-calculus manipulator )
    我们的工作就是为-演算设计并实现第一个交互式的验证工具pim(thepi-calculusmanipulator)。
  2. the topics covered in this course include interactive proofs, zero-knowledge proofs, zero-knowledge proofs of knowledge, non-interactive zero-knowledge proofs, secure protocols, two-party secure computation, multiparty secure computation, and chosen-ciphertext security
    本课程所涵盖的主题包含有互动式证明，零知识证明，知识的零知识证明，非互动式零知识证明，安全协定，双方安全计算，多方安全计算与选择密文安全性。
  3. users of the preliminary edition ( now out of print ) will be interested to note several new chapters on complexity theory : chapter 8 on space complexity; chapter 9 on provable intractability, and chapter 10 on advanced topics, including approximation algorithms, alternation, interactive proof systems, cryptography, and parallel computing
    早期版本的读者将惊奇的发现新增的有关复杂性理论的章节：第8章，空间复杂性；第9章，不可证明性；第10章，高级话题，包括近似算法，交替，交互推理系统，密码学和并行计算。
  4. our work includes the following three aspects . first, aiming at designing a suitable version of the unique fixpoint induction from the application point of view, we generalized lin's version and got the final version we needed . second, we implemented pim, the first interactive proof assistant for the-calculus
    主要工作和成果包括如下三个方面：首先，为了处理递归，我们对lin给出的适合于理论研究的唯一不动点归纳法进行了扩展，得到了所需要的适合于应用的一般化的版本。
  5. in cryptology technology, which can be used to create digital evidence, we addressed three problems : a encryption scheme integrated fault tolerance and digital signature, a identification protocol based on zero-knowledge interactive proof, digital signature included single digital signature, multiple digital signature and ( n, t ) threshold digital signature . 5 . the sk protocol was improved and s
    4.在适合生成数字证据的密码学技术研究中提出了:一个集成数据签名和容错技术并能在加密、传送、解密和认证三个过程中实现容错的rsa加密方案;一个基于零知识证明的身份认证协议;基于零知识证明的数字签名方案。

相关词汇

        interactive:    adj. 相互作用的，相互影响的，互动的。 n. 交互式视频设备。
        -proof:    后缀 表示“耐，防(等)”：acid-proof 耐酸的。Air-proof 密封的。 Dust-proof 防尘的。 Fire-proof 防火的。 Radar-proof 反雷达的。 Slander-proof 听了坏话不会生气的。 Sound-proof 隔音的。 Water-proof 防水的。
        a proof:    防原子的
        a-proof:    防原子的
        in proof of:    作...的证据
        proof:    n. 1.证明；证据；【法律】证件；【法律】(口头或书面)证词，证言。 2.检验，考验；验算；检定的品质[强度等]。 3.试管。 4.【印刷】校样，印样。 5.(酒精的)标准强度。 6.(甲胄等的)耐力，坚牢强度，不贯穿性。 7.【摄影】样片；样张。 8.[Scot.] 审问。 9.【数学】证，证明，证法。 The proof of the pudding is in the eating. 布丁好坏一吃即知；空谈不如实验。 Here is proof positive. 有确实证据。 a foul proof 错字很多的校样。 a foundry proof (压型前的)清样。 an artist's [engraver's] proof 版面印样。 stand a severe proof 经受严格的考验。 afford proof of 提供证据。 armour of proof 戳不通的坚牢的铠甲。 below proof 不合格。 bring [put] to the proof 试，试验。 have proof of shot 能防弹，能避弹。 in proof of 作…的证据。 proof positive of his intention 他的企图的确证。 read the proof 校对。 adj. 1.试验过的，有保证的；(酒)合标准的，规定的。 2.校样的。 3.(子弹等)不入的，耐…的，防…的。 a proof coin 标准货币，制钱。 a proof sample 样品。 proof against the severest weather 经得起任何酷烈天气的。 proof against the pricks of all temptations 不为任何诱惑所动的。 vt. 使经得住，使(布等)耐久[不漏水(等)]。 proofed cloth 防水布。 adj. -less 无证据的。
        proof of will:    遗嘱证明, 遗嘱认证
        bmc interactive:    滚石音乐集团的“互动”公司（世界著名娱乐光盘制造商）
        fox interactive:    当时刚与福克斯互动; 福克斯电影公司的多媒体部，专出影视剧软件（世界著名娱乐光盘制造商）
        harris interactive:    调查公司; 哈里斯互动公司
        interactive advertisement:    互动广告
        interactive advertising:    互动式广告; 交互广告; 交互式广告
        interactive agency:    互联广告公司
        interactive analysis:    交互分析; 交互作用分析
        interactive approach:    互动研究方法
        interactive art:    互动艺术
        interactive arts:    互动艺术学
        interactive boot:    交互式引导
        interactive channel:    和交互信道
        interactive check:    交互检查
        interactive command:    交谈式指令列
        interactive compiler:    交互式编译
        interactive computer:    对话式计算机; 交互式计算机
        interactive computing:    交互计算; 交互式计算
        interactive content:    互动式内容; 交互式内容

相邻词汇

  1. interactive productivity facility 什么意思
  2. interactive program specification 什么意思
  3. interactive programme 什么意思
  4. interactive project management code 什么意思
  5. interactive promotion 什么意思
  6. interactive proof checker 什么意思
  7. interactive proof protocol 什么意思
  8. interactive proof system 什么意思
  9. interactive property 什么意思
  10. interactive protocol interpreter 什么意思
桌面版繁體版English

相关阅读

Copyright © 2025 WordTech Co.

Last modified time:Thu, 14 Aug 2025 00:29:56 GMT